compactify manifold

Translations
compactifier une variété